/* Copyright 2009
 *
 * This program and the accompanying materials
 * are made available under the terms of the
 * Eclipse Public License v1.0 which accompanies
 * this distribution, and is available at
 *
 * 		http://www.eclipse.org/legal/epl-v10.html
 *
 * Unless required by applicable law or agreed to in
 * writing, software distributed under the License is
 * distributed on an "AS IS" BASIS, WITHOUT WARRANTIES
 * OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing
 * permissions and limitations under the License.
 *
 * Contributors:
 * 	   IBM Corporation - initial API and implementation for JDT/DLTK
 *     Sean W. Quinn - initial adoption for use with PHP from various sources.
 */
package org.eclipse.php.internal.ui.preferences.formatter;


/**
 * <p>
 * The <code>StoreUpdater</code> allows the profile configuration block to
 * update a profile in the
 * {@link org.eclipse.php.internal.ui.preferences.formatter.profile.PHPProfileStore}.
 * </p>
 *
 * @author Sean W. Quinn (swquinn@gmail.com)
 */
public class StoreUpdater { //implements Observer {
//  /**
//   * <p>
//   * Constructor.
//   * </p>
//   */
//  public StoreUpdater() {
//    fProfileManager.addObserver(this);
//  }
//
//  public void update(Observable o, Object arg) {
//    try {
//      fPreferenceListenerEnabled = false;
//      final int value = ((Integer) arg).intValue();
//      switch (value) {
//        case ProfileManager.PROFILE_DELETED_EVENT:
//        case ProfileManager.PROFILE_RENAMED_EVENT:
//        case ProfileManager.PROFILE_CREATED_EVENT:
//        case ProfileManager.SETTINGS_CHANGED_EVENT:
//          try {
//            fProfileStore.writeProfiles(fProfileManager.getSortedProfiles(), fInstanceScope); // update profile store
//            fProfileManager.commitChanges(fCurrContext);
//          }
//          catch (CoreException x) {
//            JavaPlugin.log(x);
//          }
//          break;
//        case ProfileManager.SELECTION_CHANGED_EVENT:
//          fProfileManager.commitChanges(fCurrContext);
//          break;
//      }
//    }
//    finally {
//      fPreferenceListenerEnabled = true;
//    }
//  }
}